Stefania Gnesi: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

The world's largest scientific articles store. 70,000,000+ articles for free.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

1

A Formal Verification Environment for Railway Signaling System Design

Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Dario Romano

Journal:

Formal Methods in System Design

Year:

1998

Language:

english

File:

PDF, 316 KB

english, 1998

2

Ambiguity and tacit knowledge in requirements elicitation interviews

Ferrari, Alessio, Spoletini, Paola, Gnesi, Stefania

Journal:

Requirements Engineering

Year:

2016

Language:

english

File:

PDF, 1016 KB

english, 2016

3

Modelling Dynamic Software Architectures using Typed Graph Grammars

Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Hernán Melgratti

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 374 KB

english, 2008

4

[Lecture Notes in Computer Science] Critical Systems: Formal Methods and Automated Verification Volume 9933 ||

ter Beek, Maurice H., Gnesi, Stefania, Knapp, Alexander

Year:

2016

Language:

english

File:

PDF, 18.35 MB

english, 2016

5

An experience in using machine learning for short-term predictions in smart transportation systems

Bacciu, Davide, Carta, Antonio, Gnesi, Stefania, Semini, Laura

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2017

Language:

english

File:

PDF, 780 KB

english, 2017

6

A Graph-based Design Framework for Global Computing Systems

Antonio Bucchiarone, Greg Dennis, Stefania Gnesi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 656 KB

english, 2009

7

The industrialization of formal methods

John S. Fitzgerald, Stefania Gnesi, Dino Mandrioli

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2006

Language:

english

File:

PDF, 98 KB

english, 2006

8

Compositionality and bisimulation: a negative result

Alessandro Fantechi, Stefania Gnesi, Gioia Ristori

Journal:

Information Processing Letters

Year:

1991

Language:

english

File:

PDF, 775 KB

english, 1991

9

Assisting the design of a groupware system

Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni

Journal:

The Journal of Logic and Algebraic Programming

Year:

2009

Language:

english

File:

PDF, 966 KB

english, 2009

10

Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking

Stefania Gnesi, Diego Latella, Mieke Massink

Journal:

The Journal of Logic and Algebraic Programming

Year:

2002

Language:

english

File:

PDF, 403 KB

english, 2002

11

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 7321 ||

Derrick, John, Gnesi, Stefania, Latella, Diego, Treharne, Helen

Year:

2012

Language:

english

File:

PDF, 7.50 MB

english, 2012

12

[ACM Press the 29th Annual ACM Symposium - Gyeongju, Republic of Korea (2014.03.24-2014.03.28)] Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14 - Research challenges in business process adaptability

Cognini, Riccardo, Corradini, Flavio, Gnesi, Stefania, Polini, Andrea, Re, Barbara

Year:

2014

Language:

english

File:

PDF, 529 KB

english, 2014

13

Model-Based Development and Formal Methods in the Railway Industry

Ferrari, Alessio, Fantechi, Alessandro, Gnesi, Stefania, Magnani, Gianluca

Journal:

Year:

2013

Language:

english

File:

PDF, 774 KB

english, 2013

14

[Lecture Notes in Computer Science] FME 2003: Formal Methods Volume 2805 ||

Araki, Keijiro, Gnesi, Stefania, Mandrioli, Dino

Year:

2003

Language:

english

File:

PDF, 8.40 MB

english, 2003

15

Formal methods for railway control systems

Fantechi, Alessandro, Flammini, Francesco, Gnesi, Stefania

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2014

Language:

english

File:

PDF, 84 KB

english, 2014

16

Dynamic Programming as Graph Searching: An Algebraic Approach

Gnesi, Stefania, Montanari, Ugo, Martelli, Alberto

Journal:

Journal of the ACM

Year:

1981

Language:

english

File:

PDF, 816 KB

english, 1981

17

[ACM Press the 19th International Conference - Nashville, Tennessee (2015.07.20-2015.07.24)] Proceedings of the 19th International Conference on Software Product Line - SPLC '15 - Applying the product lines paradigm to the quantitative analysis of collective adaptive systems

ter Beek, Maurice H., Fantechi, Alessandro, Gnesi, Stefania

Year:

2015

Language:

english

File:

PDF, 1.07 MB

english, 2015

18

Special section on the 17th International Software Product Line Conference

Gnesi, Stefania, Jarzabek, Stan

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2015

Language:

english

File:

PDF, 319 KB

english, 2015

19

Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints

ter Beek, Maurice H., Fantechi, Alessandro, Gnesi, Stefania, Mazzanti, Franco

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 2.70 MB

english, 2016

20

2.4.2 QuARS: Automated Natural Language Analysis of Requirements and Specifications

Lami, Giuseppe, Ferguson, Robert, Goldenson, Dennis, Fusani, Mario, Fabbrini, Fabrizio, Gnesi, Stefania

Journal:

INCOSE International Symposium

Year:

2005

Language:

english

File:

PDF, 92 KB

english, 2005

21

Business process flexibility - a systematic literature review with a software systems perspective

Cognini, Riccardo, Corradini, Flavio, Gnesi, Stefania, Polini, Andrea, Re, Barbara

Journal:

Information Systems Frontiers

Year:

2016

Language:

english

File:

PDF, 2.53 MB

english, 2016

22

[Lecture Notes in Computer Science] FM 2016: Formal Methods Volume 9995 ||

Fitzgerald, John, Heitmeyer, Constance, Gnesi, Stefania, Philippou, Anna

Year:

2016

Language:

english

File:

PDF, 29.75 MB

english, 2016

23

[IEEE 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) - Buenos Aires, Argentina (2017.5.27-2017.5.27)] 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) - 5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017)

Gnesi, Stefania, Plat, Nico, Melgratti, Hernan

Year:

2017

Language:

english

File:

PDF, 150 KB

english, 2017

24

A Guidelines Framework for Understandable BPMN Models

Corradini, Flavio, Ferrari, Alessio, Fornari, Fabrizio, Gnesi, Stefania, Polini, Andrea, Re, Barbara, Spagnolo, Giorgio O.

Journal:

Data & Knowledge Engineering

Year:

2017

Language:

english

File:

PDF, 978 KB

english, 2017

25

Natural Language Requirements Processing: A 4D Vision

Ferrari, Alessio, DellOrletta, Felice, Esuli, Andrea, Gervasi, Vincenzo, Gnesi, Stefania

Journal:

Year:

2017

Language:

english

File:

PDF, 1.13 MB

english, 2017

26

Detecting requirements defects with NLP patterns: an industrial experience in the railway domain

Ferrari, Alessio, Gori, Gloria, Rosadini, Benedetta, Trotta, Iacopo, Bacherini, Stefano, Fantechi, Alessandro, Gnesi, Stefania

Journal:

Empirical Software Engineering

Year:

2018

Language:

english

File:

PDF, 2.69 MB

english, 2018

27

Formal methods for transport systems

ter Beek, Maurice H., Gnesi, Stefania, Knapp, Alexander

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2018

Language:

english

File:

PDF, 348 KB

english, 2018

28

Formal methods and automated verification of critical systems

ter Beek, Maurice H., Gnesi, Stefania, Knapp, Alexander

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2018

Language:

english

File:

PDF, 341 KB

english, 2018

29

[ACM Press Proceeedings of the 22nd International Conference - Gothenburg, Sweden (2018.09.10-2018.09.14)] Proceeedings of the 22nd International Conference on Systems and Software Product Line - SPLC '18 - Product line models of large cyber-physical systems

Beek, Maurice H. ter, Fantechi, Alessandro, Gnesi, Stefania

Year:

2018

Language:

english

File:

PDF, 625 KB

english, 2018

30

On the expressiveness of modal transition systems with variability constraints

ter Beek, Maurice H., Damiani, Ferruccio, Gnesi, Stefania, Mazzanti, Franco, Paolini, Luca

Journal:

Science of Computer Programming

Year:

2019

Language:

english

File:

PDF, 575 KB

english, 2019

31

[IEEE 2018 IEEE 26th International Requirements Engineering Conference (RE) - Banff, AB, Canada (2018.8.20-2018.8.24)] 2018 IEEE 26th International Requirements Engineering Conference (RE) - Requirement Engineering of Software Product Lines: Extracting Variability Using NLP

Fantechi, Alessandro, Ferrari, Alessio, Gnesi, Stefania, Semini, Laura

Year:

2018

Language:

english

File:

PDF, 140 KB

english, 2018

32

[IEEE 2018 5th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE) - Banff, AB (2018.8.21-2018.8.21)] 2018 5th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE) - Identification of Cross-Domain Ambiguity with Language Models

Ferrari, Alessio, Esuli, Andrea, Gnesi, Stefania

Year:

2018

Language:

english

File:

PDF, 282 KB

english, 2018

33

[ACM Press Proceeedings of the 22nd International Conference - Gothenburg, Sweden (2018.09.10-2018.09.14)] Proceeedings of the 22nd International Conference on Systems and Software Product Line - SPLC '18 - Volume 2 - Modelling and analysis with featured modal contract automata

Basile, Davide, Beek, Maurice H. ter, Gnesi, Stefania

Year:

2018

Language:

english

File:

PDF, 633 KB

english, 2018

34

[ACM Press the 23rd International Systems and Software Product Line Conference - Paris, France (2019.09.09-2019.09.13)] Proceedings of the 23rd International Systems and Software Product Line Conference volume B - SPLC '19 - Applying the QuARS tool to detect variability

Fantechi, Alessandro, Gnesi, Stefania, Semini, Laura

Year:

2019

File:

PDF, 1.53 MB

2019

35

Controller synthesis of service contracts with variability

Basile, Davide, ter Beek, Maurice H., Degano, Pierpaolo, Legay, Axel, Ferrari, Gian-Luigi, Gnesi, Stefania, Di Giandomenico, Felicita

Journal:

Science of Computer Programming

Year:

2020

File:

PDF, 1.00 MB

2020

36

Model Checking Publish/Subscribe Notification for thinkteam®

Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 444 KB

english, 2005

37

A state/event-based model-checking approach for the analysis of abstract system properties

Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti

Journal:

Science of Computer Programming

Year:

2011

Language:

english

File:

PDF, 2.30 MB

english, 2011

38

Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Berlin, April 3–4, 2000—selected papers

Hubert Garavel, Stefania Gnesi, Ina Schieferdecker

Journal:

Science of Computer Programming

Year:

2003

Language:

english

File:

PDF, 37 KB

english, 2003

39

Foreword

Jorge Cuellar, Stefania Gnesi, Diego Latella

Journal:

Science of Computer Programming

Year:

2000

Language:

english

File:

PDF, 43 KB

english, 2000

40

Model checking fault tolerant systems

Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi

Journal:

Software Testing, Verification and Reliability

Year:

2002

Language:

english

File:

PDF, 266 KB

english, 2002

41

Model checking for action-based logics

Alessandro Fantechi, Stefania Gnesi, Gioia Ristori

Journal:

Formal Methods in System Design

Year:

1994

Language:

english

File:

PDF, 813 KB

english, 1994

42

Editorial

Stefania Gnesi, Diego Latella

Journal:

Formal Aspects of Computing

Year:

1998

Language:

english

File:

PDF, 41 KB

english, 1998

43

Special Issue on the First International workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, St. Hugh's College, Oxford, March 19, 1996-Selected Papers

Stefania Gnesi, Diego Latella

Journal:

Formal Methods in System Design

Year:

1998

Language:

english

File:

PDF, 49 KB

english, 1998

44

Introduction: Special Issue on the Fourth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Trento, July 11–12, 1999—Selected Papers

Stefania Gnesi, Diego Latella

Journal:

Formal Methods in System Design

Year:

2001

Language:

english

File:

PDF, 29 KB

english, 2001

45

Two standards means problems: A case study on formal protocol descriptions

Alessandro Fantechi, Stefania Gnesi, Cosimo Laneve

Journal:

Computer Standards & Interfaces

Year:

1989

Language:

english

File:

PDF, 680 KB

english, 1989

46

On testing UML statecharts

Mieke Massink, Diego Latella, Stefania Gnesi

Journal:

The Journal of Logic and Algebraic Programming

Year:

2006

Language:

english

File:

PDF, 1.32 MB

english, 2006

47

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 7321 || Model Checking as Static Analysis: Revisited

Derrick, John, Gnesi, Stefania, Latella, Diego, Treharne, Helen

Year:

2012

Language:

english

File:

PDF, 308 KB

english, 2012

48

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, VDM, and Z Volume 7316 || Learn and Test for Event-B – A Rodin Plugin

Derrick, John, Fitzgerald, John, Gnesi, Stefania, Khurshid, Sarfraz, Leuschel, Michael, Reeves, Steve, Riccobene, Elvinia

Year:

2012

Language:

english

File:

PDF, 264 KB

english, 2012

49

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, VDM, and Z Volume 7316 || A Practical Event-B Refinement Method Based on a UML-Driven Development Process

Derrick, John, Fitzgerald, John, Gnesi, Stefania, Khurshid, Sarfraz, Leuschel, Michael, Reeves, Steve, Riccobene, Elvinia

Year:

2012

Language:

english

File:

PDF, 236 KB

english, 2012

50

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, VDM, and Z Volume 7316 || Temporal Logic Model Checking in Alloy

Derrick, John, Fitzgerald, John, Gnesi, Stefania, Khurshid, Sarfraz, Leuschel, Michael, Reeves, Steve, Riccobene, Elvinia

Year:

2012

Language:

english

File:

PDF, 262 KB

english, 2012